Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
221	A Fourth Look At ML Chapter Eleven Modern Programming Languages, 2nd ed. Add to Reading List Source URL: www.webber-labs.com Language: English - Date: 2010-08-18 22:43:58 Programming language theory Data types Algebraic data type Enumerated type Type constructor Constructor Primitive data type ALGOL 68 C++ classes Software engineering Type theory Computing
222	A Third Look At Prolog Chapter Twenty-Two Modern Programming Languages, 2nd ed. Add to Reading List Source URL: www.webber-labs.com Language: English - Date: 2010-08-18 22:47:47 Prolog Programming language Conditional Logic programming Prolog syntax and semantics Programming language theory Software engineering Computing
223	Prix Pictet Consumption Shortlist Selection Thumbnails Caption Adam Bartos Honda Wheel Add to Reading List Source URL: www.multivu.com Language: English - Date: 2014-02-05 12:52:54 ALGOL 68 Software engineering Computing Prix Pictet Programming language theory Pictet
224	Automatically Generating Coarse Grained Software Pipelining from Declaratively Specified Communication Nilesh Mahajan* Sajith Sasidharan* Add to Reading List Source URL: www.hipc.org Language: English - Date: 2011-11-11 12:59:29 Parallel computing Compiler optimizations Actor model Software pipelining Futures and promises Very long instruction word Type system Central processing unit Programming language Computing Software engineering Programming language theory
225	This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-06-08 15:23:55 Science Formal sciences Compiler construction Mathematical logic Proof theory Isabelle Compiler Mathematical proof Model checking Logic Mathematics Programming language implementation
226	Microsoft Word - 100834921GRR-001B Add to Reading List Source URL: www.emeco.net Language: English - Date: 2013-04-10 11:39:29 Computing Road C Software engineering Tire Programming language theory Structural engineering Building engineering Serviceability
227	Enforcing information flow policies by a three-valued analysis Jos´ee Desharnais Erwanne P. Kanyabwero Add to Reading List Source URL: csf2012.seas.harvard.edu Language: English - Date: 2012-07-05 18:15:10 Computing Programming language theory Information flow Information theory Crime prevention National security Data-flow analysis Static single assignment form Computer security Data types Type theory Software engineering
228	C:/Dokumente und Einstellungen/ulrich/Desktop/Kulisch/SelEditBooks.dvi Add to Reading List Source URL: www.math.kit.edu Language: English - Date: 2013-01-15 10:20:04 Procedural programming languages Pascal-XSC Pascal Fortran Computational science Computation Programming language Bibliotheca Teubneriana Computer science Computing Software engineering Programming language theory
229	The 8th™ Programming Environment Language Tutorial Copyright © Aaron High-Tech, Ltd, All Rights Reserved 8th™ is a trademark of Aaron High-Tech, Ltd Add to Reading List Source URL: 8th-dev.com Language: English - Date: 2015-03-01 23:52:45 Stack Forth Dc Stack machines Esoteric programming languages Non-English-based programming languages Software engineering Computing Programming language theory
230	Experience Report: Applying Random Testing to a Base Type Environment Vincent St-Amour Neil Toronto Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Data types Type theory Computer arithmetic Functional languages Primitive types Type system Racket Floating point Primitive data type Software engineering Computing Programming language theory

UPDATE